Semantics-Aware Versioning Challenge: Merging Sequence Diagrams along with State Machine Diagrams

In multi-view modeling languages like UML, models contain several diagrams, each of which focusing on a specific aspect of the system. However, when the diagrams are combined, they give a coherent description of all static and dynamic aspects of the system. Diagrams may then extend each other or add constraints to other diagrams. Considering this additional information improves model versioning, as conflicts are revealed also in case their changes are not overlapping, and merge algorithms may provide solutions which are correct by construction. This paper describes a challenge benchmark for semantics-aware merging of sequence diagrams with respect to their corresponding state machine diagrams.